0.00/0.35	YES
0.00/0.35	
0.00/0.35	Problem:
0.00/0.35	 app (abs (\x. F x)) S -> F S
0.00/0.35	 abs (\x. app S x) -> S
0.00/0.35	
0.00/0.35	Proof:
0.00/0.35	 Higher-Order Church Rosser Processor:
0.00/0.35	  app (abs (\x. F x)) S -> F S
0.00/0.35	  abs (\x. app S x) -> S
0.00/0.35	  critical peaks: 2
0.00/0.35	   abs (\14. 12 14) <-[1,0]-> abs (\11. 12 11)
0.00/0.35	   app 24 S <-[0,1]-> app 24 S
0.00/0.35	   
0.00/0.35	   Higher-Order Closedness Processor:
0.00/0.35	     all critical pairs are trivial
0.00/0.35	    
0.00/0.35	    Qed
0.00/0.35	 
0.00/0.36	EOF